Pedoe's inequality